es{-}acttype(${\it es}$; $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}V(${\it es}$)(es{-}loc(${\it es}$; $e$),es{-}act(${\it es}$; $e$))